$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. val($e$) $\equiv$ val(${\it e'}$) $\in$ $\mathbb{P}$